\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c}
{\bf Netlist} & {\bf Area} & {\bf Combinatorial} & {\bf No Combinatorial} & {\bf AT} \\
\hline \hline
{\bf s1196}   &    2256.67 &             1920.80 &                 335.87 &     0.89 \\
\hline
{\bf s1423}   &    4489.18 &             3108.40 &                1380.78 &     1.87 \\
\hline
{\bf s5378}   &    8584.33 &             5537.39 &                3046.94 &     0.90 \\
\hline
{\bf s9234}   &    NoSol   &                     &                        &          \\
\hline
{\bf s13207}  &    NoSol   &                     &                        &          \\
\hline
{\bf s15850}  &    NoSol   &                     &                        &          \\
\end{tabular}  \caption[Logic REM (noFast) results]{Logic REM (noFast) results.\label{t7}}
\end{table}
